Hakutulokset: Kirjoja kirjailijalta jon barwise
yhteensä 18 hakutulosta
Language, Proof, and Logic
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, …
Logical Reasoning with Diagrams
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that …
The Syntax and Semantics of Infinitary Languages
Tarski's World: Revised and Expanded
"Tarski's World" is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the …
Information Flow
Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information …
Admissible Sets and Structures
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have …
Situationen und Einstellungen
Situations and Attitudes
In this provocative book, Barwise and Perry tackle the slippery subject of 'meaning', a subject that has long vexed linguists, language philosophers, and logicians. Meaning does …
Logical Reasoning with Diagrams and Sentences
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of …
Non-well-founded Sets
Situation Theory and Its Applications
Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer …